Choreographies in the wild
نویسندگان
چکیده
We investigate the use of choreographies in distributed scenarios where, as in the real world, mutually distrusting (and possibly dishonest) participants may be unfaithful to their expected behaviour. In our model, each participant advertises its promised behaviour as a contract. Participants may interact through multiparty sessions, created when their contracts allow to synthesise a choreography. We show that systems of honest participants (which always adhere to their contracts) enjoy progress and session fidelity.
منابع مشابه
Configurable analysis of sequential multi-party choreographies
For Business-To-Business integration (B2Bi) scenarios, the application of choreography and orchestration technology has become a core technique for resolving discrepancies between the interaction logic of individual partners and the intended overall message flow. While orchestrations govern the message exchanges of each single partner, choreographies define constraints and requirements for the ...
متن کاملConformance Test of Federated Choreographies
Web Services technology is constantly gaining importance for automation of business processes. A major contribution of this technology is its integration capability, i.e. compositions allowing several autonomous but cooperating web services to implement a business process going beyond the boundaries of a single organization. Federated choreographies provide a framework for modular modeling comp...
متن کاملBehavior Alignment and Control Flow Verification of Process and Service Choreographies
The representation of process and service choreographies has been recognized as an important requirement in service-oriented methodologies. The guarantee of alignment between process and service choreographies and the verification of the behavior of choreographies represent an important improvement for such methodologies, since they enable the automatic generation of choreography service specif...
متن کاملCompositional Choreographies
We propose a new programming model that supports a compositionality of choreographies. The key of our approach is the introduction of partial choreographies, which can mix global descriptions with communications among external peers. We prove that if two choreographies are composable, then the endpoints independently generated from each choreography are also composable, preserving their typabil...
متن کاملService Referrals in BPEL-based Choreographies
Choreographies describe the interactions between two or more services from a global perspective and specify allowed service conversations. Choreographies typically do not rely on static binding, i.e. the participating services are not selected at design-time of the choreography. Some services might only be selected at runtime and this selection has to be propagated in the case of multi-lateral ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Sci. Comput. Program.
دوره 109 شماره
صفحات -
تاریخ انتشار 2015